#include <stdio.h>

extern int a;
int main()
{
    printf("%d\n", a);
}